COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.require "let.pub" source
C00004 ENDMK
C⊗;
.require "let.pub" source
∂AIL Professor Saul Amarel↓Department of Computer Science
↓Rutgers University↓New Brunswick, New Jersey 08903∞
.<<201 932-3546/2001>>
Dear Saul:

	I have talked to Reiter, and I am familiar with one of his papers
"A Logic for Default Reasoning" which will be published in the special
issue of %2Artificial Intelligence%1 devoted to non-monotonic reasoning.
I assume that he gave me as a reference in spite of our slight
acquaintance, becuse I am the senior AI person interested in
non-monotonic reasoning.  On the basis of this paper, I consider Reiter to
be quite strong in the techniques of mathematical logic and their
application to artificial intelligence problems.  His paper adds
substantially to our understanding of non-monotonic reasoning, and it is
mathematically more complete than the corresponding paper by McDermott and
Doyle.  I also think that he has chosen a good topic to work on that will
lead to further substantial contributions to AI.

	While I have had insufficient occasion to observe, I have
a good impression of Reiter as an expositor, so I
think he would make a good teacher.

.reg